Vessel Collision Analysis of an Underwater Soil Slope using Coupled Eulerian–Lagrangian Scheme 2: Parametric Study
نویسندگان
چکیده
منابع مشابه
rodbar dam slope stability analysis using neural networks
در این تحقیق شبکه عصبی مصنوعی برای پیش بینی مقادیر ضریب اطمینان و فاکتور ایمنی بحرانی سدهای خاکی ناهمگن ضمن در نظر گرفتن تاثیر نیروی اینرسی زلزله ارائه شده است. ورودی های مدل شامل ارتفاع سد و زاویه شیب بالا دست، ضریب زلزله، ارتفاع آب، پارامترهای مقاومتی هسته و پوسته و خروجی های آن شامل ضریب اطمینان می شود. مهمترین پارامتر مورد نظر در تحلیل پایداری شیب، بدست آوردن فاکتور ایمنی است. در این تحقیق ...
Analysis of slope - parametric hybrid
This paper addresses the analysis of slope-parametric hybrid automata: nding conditions on the slopes of the automaton variables, for some safety property to be veriied. The problem is shown decidable in some practical situations (e.g. nding the running speeds of tasks in a real time application, for all tasks to respect their deadlines). The resolution technique generalizes polyhedral-based sy...
متن کاملA Novel Chirp Slope Keying Modulation Scheme for Underwater Communication
A digital modulation method using Chirp-Slope Keying (CSK) is developed for coherent underwater acoustic communications. Effective signal detection is a critical stage in the implementation of any communications system; we will see that CSK solves some significant challenges to reliable detection. This thesis is primarily based on analyzing the effectiveness of CSK through simulations using Mat...
متن کاملTask-System Analysis Using Slope-Parametric Hybrid Automata
Slope-parametric hybrid automata (SPHA) are hybrid automata whose variables can have parametric slopes. SPHA are useful, in particular, for modeling task-control systems in which the task speeds can be adjusted for meeting some safety requirement. In this paper, we present an example of parametric analysis for a simple task system. We introduce a prototype veriication tool that fully automates ...
متن کاملAnalysis of slope - parametric hybrid automataFr
This paper addresses the analysis of slope-parametric hybrid automata: nding conditions on the slopes of the automaton variables, for some safety property to be veriied. The problem is shown decidable in some practical situations (e.g. nding the running speeds of tasks in a real time application, for all tasks to respect their deadlines). The resolution technique generalizes polyhedral-based sy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Computational Structural Engineering Institute of Korea
سال: 2020
ISSN: 1229-3059,2287-2302
DOI: 10.7734/coseik.2020.33.1.25